Previous | 
Home
Section: Dissemination
Popularization
Xavier Rival gave an interview about the verification of safety critical embedded softwares to the “Inriality” online magazine, in July 2013.
Overall Objectives
Research Program
Application Domains
Software and Platforms
- The Apron Numerical Abstract Domain Library
- The Astrée Static Analyzer of Synchronous Software
- The AstréeA Static Analyzer of Asynchronous Software
- The MemCAD static analyzer
- A New Tactic Engine for Coq
- FuncTion: An Abstract Domain Functor for Termination
- The OpenKappa Modeling Plateform
- Translation Validation
- Zarith
New Results
- Analysis of Biological Pathways
- Andromeda: Accurate and Scalable Security Analysis of Web Applications
- Backward analysis
- Bisimulation metrics
- A Constraint Solver Based on Abstract Domains
- A Galois Connection Calculus for Abstract Interpretation
- Mechanically Verifying a Shape Analysis
- Modular Construction of Shape-Numeric Analyzers
- Reduced Product Combination of Abstract Domains for Shapes
- Relational Thread-Modular Static Value Analysis
- Static Analyzers on the Cloud
- Termination
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
Software and Platforms
- The Apron Numerical Abstract Domain Library
- The Astrée Static Analyzer of Synchronous Software
- The AstréeA Static Analyzer of Asynchronous Software
- The MemCAD static analyzer
- A New Tactic Engine for Coq
- FuncTion: An Abstract Domain Functor for Termination
- The OpenKappa Modeling Plateform
- Translation Validation
- Zarith
New Results
- Analysis of Biological Pathways
- Andromeda: Accurate and Scalable Security Analysis of Web Applications
- Backward analysis
- Bisimulation metrics
- A Constraint Solver Based on Abstract Domains
- A Galois Connection Calculus for Abstract Interpretation
- Mechanically Verifying a Shape Analysis
- Modular Construction of Shape-Numeric Analyzers
- Reduced Product Combination of Abstract Domains for Shapes
- Relational Thread-Modular Static Value Analysis
- Static Analyzers on the Cloud
- Termination
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography